Universality Results for Models in Locally Boolean Domains
نویسندگان
چکیده
In [6] J. Laird has shown that an infinitary sequential extension of PCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper we introduce an extension SPCF∞ of his language by recursive types and show that it is universal for its model in locally boolean domains. Finally we consider an infinitary target language CPS∞ for (the) CPS translation (of [16]) and show that it is universal for a model in locally boolean domains which is constructed like Dana Scott’s D∞ where D = {⊥,>}.
منابع مشابه
Locally Boolean Domains and Universal Models for Infinitary Sequential Languages
In the first part of this Thesis we develop the theory of locally boolean domains and bistable maps (as introduced in [Lai05b]) and show that the category of locally boolean domains and bistable maps is equivalent to the category of Curien-Lamarche games and observably sequential functions (cf. [CCF94]). Further we show that the category of locally boolean domains has inverse limits of ω-chains...
متن کاملOmega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملPropagation Models and Fitting Them for the Boolean Random Sets
In order to study the relationship between random Boolean sets and some explanatory variables, this paper introduces a Propagation model. This model can be applied when corresponding Poisson process of the Boolean model is related to explanatory variables and the random grains are not affected by these variables. An approximation for the likelihood is used to find pseudo-maximum likelihood esti...
متن کاملLocally GCD domains and the ring $D+XD_S[X]$
An integral domain $D$ is called a emph{locally GCD domain} if $D_{M}$ is aGCD domain for every maximal ideal $M$ of $D$. We study somering-theoretic properties of locally GCD domains. E.g., we show that $%D$ is a locally GCD domain if and only if $aDcap bD$ is locally principalfor all $0neq a,bin D$, and flat overrings of a locally GCD domain arelocally GCD. We also show that the t-class group...
متن کاملClass Semigroups of Integral Domains
This paper seeks ring-theoretic conditions of an integral domain R that reflect in the Clifford property or Boolean property of its class semigroup S(R), that is, the semigroup of the isomorphy classes of the nonzero (integral) ideals of R with the operation induced by multiplication. Precisely, in Section 3, we characterize integrally closed domains with Boolean class semigoup; in this case, S...
متن کامل